$\forall$$a$:$\mathbb{Z}$, $b$:$\mathbb{Z}^{-\circ}$. (({-}$a$) rem $b$) = ({-}($a$ rem $b$))